Service basic.finished

Description
Checks whether a term is in solved form.

Input

• State

Output

• Bool